$\forall$${\it the\_w}$:World, $e$:E. time($e$) $\in$ $\mathbb{N}$